Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
431	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
432	/tmp/scitmpfigure2.eps Add to Reading List Source URL: www.zoller.lu Language: English - Date: 2008-05-12 10:42:09 Algorithm Mathematical logic Theoretical computer science Randomized algorithm Artificial neural network
433	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: eglassman.github.io Language: English - Date: 2016-07-29 16:41:12 Theoretical computer science Alan Turing Mathematical logic Turing machine Algorithm MATLAB Computational complexity theory Human-based computation Problem solving NP Simulation
434	Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-06-17 14:33:02 Model theory Algebraic topology Real algebraic geometry Mathematical structures Mathematical logic O-minimal theory Euler characteristic Definable set CW complex Topology Structure Semialgebraic set
435	Developmental Science 14:), pp 1021–1032 DOI: j01050.x PAPER Some types of parent number talk count more than others: Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2011-12-08 13:01:52 Child development Counting Mathematical logic Cardinal number Ordinal number Vocabulary development Number Mathematics Quantity Addition Play therapy Set
436	Algorithms and Data Structures (WS15/16) Example Solutions for Unit 4 Problem 1 A simple algorithm to solve this problem is sorting both sets A and B and then doing a linear scan to check for common elements. We start fr Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-02 15:25:03 Algorithm Mathematical logic Theoretical computer science Combinatorial optimization Operations research
437	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:54 Bulgarian Academy of Sciences Institute of Mathematics and Informatics Informatics Information science Computer science Mathematical logic Algorithm
438	Week Scope and Sequence Unit 1 My School Add to Reading List Source URL: www.richmondelt.cl Language: English - Date: 2016-04-19 17:01:29 Counting Mathematical logic Identification Sold Number Toy Birth
439	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
440	A qualitative formalization of built environments Thomas Bittner Centre de recherche en geomatique, Laval University, Quebec, Canada Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Mathematical logic Mereology Ontology Predicate logic Fiat Automobiles Mathematical object

UPDATE